Ontology-Based Data Access and Integration

An ontology-based data integration (OBDI) system is an information management system consisting of three components: an ontology, a set of data sources, and the mapping between the two. The ontology is a conceptual, formal description of the domain of interest to a given organization (or a community of users), expressed in terms of relevant concepts, attributes of concepts, relationships between concepts, and logical assertions characterizing the domain knowledge. The data sources are the repositories accessible by the organization where data concerning the domain are stored. In the general case, such repositories are numerous, heterogeneous, each one managed and maintained independently from the others. The mapping is a precise specification of the correspondence between the data contained in the data sources and the elements of the ontology. The main purpose of an OBDI system is to allow information consumers to query the data using the elements in the ontology as predicates. In the special case where the organization manages a single data source, the term ontology-based data access (ODBA) system is used

A Tableaux Calculus for Reducing Proof Size

A tableau calculus is proposed, based on a compressed representation of clauses, where literals sharing a similar shape may be merged. The inferences applied on these literals are fused when possible, which reduces the size of the proof. It is shown that the obtained proof procedure is sound, refutationally complete and allows to reduce the size of the tableau by an exponential factor. The approach is compatible with all usual refinements of tableaux.Comment: Technical Repor

Completeness and Decidability Results for First-order Clauses with Indices

Session: Inference systems (www.cl.cam.ac.uk/~gp351/cade24)International audienceWe define a proof procedure that allows for a limited form of inductive reasoning. The first argument of a function symbol is allowed to belong to an inductive type. We will call such an argument an index. We enhance the standard superposition calculus with a loop detection rule, in order to encode a particular form of mathematical induction. The satisfiability problem is not semi-decidable, but some classes of clause sets are identified for which the proposed procedure is complete and/or terminating

Benznidazole biotransformation and multiple targets in <i>Trypanosoma</i> cruzi revealed by metabolomics

&lt;b&gt;Background&lt;/b&gt;&lt;p&gt;&lt;/p&gt; The first line treatment for Chagas disease, a neglected tropical disease caused by the protozoan parasite Trypanosoma cruzi, involves administration of benznidazole (Bzn). Bzn is a 2-nitroimidazole pro-drug which requires nitroreduction to become active, although its mode of action is not fully understood. In the present work we used a non-targeted MS-based metabolomics approach to study the metabolic response of T. cruzi to Bzn.&lt;p&gt;&lt;/p&gt; &lt;b&gt;Methodology/Principal findings&lt;/b&gt;&lt;p&gt;&lt;/p&gt; Parasites treated with Bzn were minimally altered compared to untreated trypanosomes, although the redox active thiols trypanothione, homotrypanothione and cysteine were significantly diminished in abundance post-treatment. In addition, multiple Bzn-derived metabolites were detected after treatment. These metabolites included reduction products, fragments and covalent adducts of reduced Bzn linked to each of the major low molecular weight thiols: trypanothione, glutathione, γ-glutamylcysteine, glutathionylspermidine, cysteine and ovothiol A. Bzn products known to be generated in vitro by the unusual trypanosomal nitroreductase, TcNTRI, were found within the parasites, but low molecular weight adducts of glyoxal, a proposed toxic end-product of NTRI Bzn metabolism, were not detected.&lt;p&gt;&lt;/p&gt; &lt;b&gt;Conclusions/significance&lt;/b&gt;&lt;p&gt;&lt;/p&gt; Our data is indicative of a major role of the thiol binding capacity of Bzn reduction products in the mechanism of Bzn toxicity against T. cruzi

The Role of Individual Variables, Organizational Variables and Moral Intensity Dimensions in Libyan Management Accountants’ Ethical Decision Making

This study investigates the association of a broad set of variables with the ethical decision making of management accountants in Libya. Adopting a cross-sectional methodology, a questionnaire including four different ethical scenarios was used to gather data from 229 participants. For each scenario, ethical decision making was examined in terms of the recognition, judgment and intention stages of Rest’s model. A significant relationship was found between ethical recognition and ethical judgment and also between ethical judgment and ethical intention, but ethical recognition did not significantly predict ethical intention—thus providing support for Rest’s model. Organizational variables, age and educational level yielded few significant results. The lack of significance for codes of ethics might reflect their relative lack of development in Libya, in which case Libyan companies should pay attention to their content and how they are supported, especially in the light of the under-development of the accounting profession in Libya. Few significant results were also found for gender, but where they were found, males showed more ethical characteristics than females. This unusual result reinforces the dangers of gender stereotyping in business. Personal moral philosophy and moral intensity dimensions were generally found to be significant predictors of the three stages of ethical decision making studied. One implication of this is to give more attention to ethics in accounting education, making the connections between accounting practice and (in Libya) Islam. Overall, this study not only adds to the available empirical evidence on factors affecting ethical decision making, notably examining three stages of Rest’s model, but also offers rare insights into the ethical views of practising management accountants and provides a benchmark for future studies of ethical decision making in Muslim majority countries and other parts of the developing world

Behavioral and psychological symptoms of dementia: The effects of physical activity at adult day service centers

Adult day services (ADS) are an increasingly popular option for caregivers of people with dementia, but there is little research on the effects of activities on the behavior and mood of the client. This study examines participation by 94 individuals in different types of adult day-care activities and their association with changes in behavior and psychological symptoms of dementia (BPSD) for the client during a three-month span. Three domains of BPSD were examined: restless behaviors, mood behaviors, and positive behaviors. Using growth curve modeling, results show that the restless and mood behavior domains, on average, were stable over three months, whereas positive behaviors increased. For all three behavior domains there were individual differences in average level of BPSD. Average rate of change for individuals also varied from the mean for restless and mood behaviors. Physical activities, social activities, engaging activities, and watching and listening activities, along with a day-care dosage variable, were used as covariates to explain these individual differences in change. Engaging activities explained some of the individual variance for restless behaviors; as individuals increased one increment in engaging activities, they had fewer restless behavior problems over time. These results suggest that some features of programming may be related to improvements in restless behavior

Explaining variability in the production of seed and allergenic pollen by invasive Ambrosia artemisiifolia across Europe

To better manage invasive populations, it is vital to understand the environmental drivers underlying spatial variation in demographic performance of invasive individuals and populations. The invasive common ragweed, Ambrosia artemisiifolia, has severe adverse effects on agriculture and human health, due to its vast production of seeds and allergenic pollen. Here, we identify the scale and nature of environmental factors driving individual performance of A. artemisiifolia, and assess their relative importance. We studied 39 populations across the European continent, covering different climatic and habitat conditions. We found that plant size is the most important determinant in variation of per-capita seed and pollen production. Using plant volume as a measure of individual performance, we found that the local environment (i.e. the site) is far more influential for plant volume (explaining 25% of all spatial variation) than geographic position (regional level; 8%) or the neighbouring vegetation (at the plot level; 4%). An overall model including environmental factors at all scales performed better (27%), including the weather (bigger plants in warm and wet conditions), soil type (smaller plants on soils with more sand), and highlighting the negative effects of altitude, neighbouring vegetation and bare soil. Pollen and seed densities varied more than 200-fold between sites, with highest estimates in Croatia, Romania and Hungary. Pollen densities were highest on arable fields, while highest seed densities were found along infrastructure, both significantly higher than on ruderal sites. We discuss implications of these findings for the spatial scale of management interventions against A. artemisiifolia

Proteomic Comparison of Entamoeba histolytica and Entamoeba dispar and the Role of E. histolytica Alcohol Dehydrogenase 3 in Virulence

The protozoan intestinal parasite Entamoeba histolytica infects millions of people worldwide and is capable of causing amebic dysentery and amebic liver abscess. The closely related species Entamoeba dispar colonizes many more individuals, but this organism does not induce disease. To identify molecular differences between these two organisms that may account for their differential ability to cause disease in humans, we used two-dimensional gel-based (DIGE) proteomic analysis to compare whole cell lysates of E. histolytica and E. dispar. We observed 141 spots expressed at a substantially (>5-fold) higher level in E. histolytica HM-1∶IMSS than E. dispar and 189 spots showing the opposite pattern. Strikingly, 3 of 4 proteins consistently identified as different at a greater than 5-fold level between E. histolytica HM-1∶IMSS and E. dispar were identical to proteins recently identified as differentially expressed between E. histolytica HM-1∶IMSS and the reduced virulence strain E. histolytica Rahman. One of these was E. histolytica alcohol dehydrogenase 3 (EhADH3). We found that E. histolytica possesses a higher level of NADP-dependent alcohol dehydrogenase activity than E. dispar and that some EhADH3 can be localized to the surface of E. histolytica. Episomal overexpression of EhADH3 in E. histolytica trophozoites resulted in only subtle phenotypic differences in E. histolytica virulence in animal models of amebic colitis and amebic liver abscess, making it difficult to directly link EhADH3 levels to virulence differences between E. histolytica and less-pathogenic Entamoeba